package br.com.itc;

/**
*
* @author Ricardo Levindo
* 
* */


public class TesteAutomato {

	public static void main(String[] args) {
		Pda pda = new Pda(args[0]);

		System.out.println("Validando cadeia: " + args[0]);

		if (pda.verifica())
			System.out.println("A Cadeia " + args[0]
					+ " foi aceita por este PDA");
		else
			System.out.println("A Cadeia " + args[0]
					+ " nao foi aceita por este PDA");
	}
}